($\lambda_{2}$$x$,$y$. $t$($x$;$y$))($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$t$($x$;$y$)